Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications
نویسندگان
چکیده
SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalization. This paper complements the existing SEAM semantics by formalizing property-property relations. This formalization is based on the theory of multi-relations and Relation Partition Algebra (RPA).
منابع مشابه
Interrogation of a University Classrooms in the Court of Semantics: Managerial Implications
The purpose of this article, within the framework of an interpretive study, was to study the semantics of a universitychr('39')s classrooms to create a critical awareness of the meanings of the symptoms and their functions at the context of physical artifacts, besides their managerial implications. To accomplish this goal, after taking pictures of the structural elements of the studied classroo...
متن کاملBPMN – A Logical Model and Property Analysis
Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, d...
متن کاملEfficient Verification of PSL Properties
Hardware design engineers increasingly leverage formal properties. Nowadays properties are not only used for the formal verification of a design’s correctness, but also for the communication of design intent, and the specification of a design’s requirements. A formal specification is a first and substantial step to ensure high quality, as the unambiguous syntax leaves no room for misinterpretat...
متن کاملTowards Symbolic Analysis of Graph Transformation Systems
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated, by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we propose a model checking-based verification a...
متن کاملLearning and Teaching Styles in the Focus: The Case of Iranian EFL Learners and Teachers
Underlying any learning and teaching process is a set of preferred Learning Styles (LSs) and Teaching Styles (TSs) which epitomize the overall educational policy and identification of which is sine qua non for any reform of the educational system. This ex-post-facto study scrutinized preference of Iranian EFL teachers' for Expert, Formal Authority, Personal Model, Facilitator, and Delegator TSs...
متن کامل